Oberseminar Theoretische Informatik - Sommersemester 97
Theoretische Informatik / Formale Sprachen
Wilhelm-Schickard Institut für Informatik
Universität Tübingen
Sand 13
D-72076 Tübingen
Germany
-
17.04.97
(Stuttgart, Raum 1.035, 10.30) (*)
-
Holger Petersen:
Multiple Pointers on Read-Only Data
-
24.04.97
(Tübingen, Raum 128, 10.15)
-
Henning Fernau:
Linksableitungen bei programmierten Grammatiken
-
15.05.97
(Stuttgart, Raum 1.035, 10.30) (*)
-
Susanne Kaufmann:
Quantitative Aspekte in der Berechenbarkeitstheorie
-
22.05.97
(Tübingen, Raum 128, 10.15) (*)
-
Eric Allender:
The Permanent Requires Large Uniform Circuits (Prelinary version appeared in COCOON '96)
-
05.06.97
(Tübingen, Raum 128, 10.15)
-
N.N.:
-
12.06.97
(Tübingen, Raum 128, 10.15)
-
Carl Smith
On the Impact of Forgetting for Learning Machines
-
Dienstag 17.06.97
Komplexitätstheorie-Workshop in Stuttgart
-
19.06.97
(Tübingen, Raum 128, 10.30) (*)
-
Rolf Niedermeier sowie Holger Petersen
Über (optimale) Lokalität in Gitterindizierungen
bzw. The Equivalence of Heads and Counters for DFA over Bounded Languages
-
Montag 23.06.97
Mini-Workshop on String Rewriting in Stuttgart
-
mit Vorträgen von Saito (Hiroshima), Otto (Kassel), Geser (Tübingen), Diekert (Stuttgart)
Die Planung ist: drei Vorträge vormittags, Mittagessen
evtl. PAUSE
ein Vortrag, Ende des MWSR gegen 15.30
-
26.06.97
Computational Complexity in Ulm
-
03.07.97
(Stuttgart, Raum 1.035, 10.00) (*)
-
Anca Muscholl sowie Dieter van Melkebeek
Solving trace equations using lexicographical normal forms
bzw. The Sparse Hard Set Problem for P
-
10.07.97
ICALP in Bologna
-
(*)
Die betreffenden Veranstaltungen finden
in Zusammenarbeit mit der Universität Stuttgart statt.
Für die Termine in Stuttgart startet um 09.40 Uhr der
WSI-Bus ab Sand zur Fahrt nach Stuttgart-Vaihingen.
This page was last updated on Juli 18th, 1997 by
P. Meißner